1. Logic programming : formal methods and practical applications
پدیدآورنده : edited by Christoph Beierle, Lutz Plumer
کتابخانه: (طهران)
موضوع : Logic programming
رده :
QA
76
.
63
.
L63294
1995
2. Termination proofs for logic programs
پدیدآورنده : Plumer, Lutz
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic programming,، Artificial intelligence
رده :
QA
76
.
63
.
P58
1990
3. Termination proofs for logic programs
پدیدآورنده : Plumer, Lutz
کتابخانه: (طهران)
موضوع : ، Logic programming,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
446
4. Termination proofs for logic programs /
پدیدآورنده : Lutz Plümer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.
رده :
QA76
.
63
.
P58
1990
